how to write a direct proof